Disallow reprogram_ac_timer to change itm, since there's only one
authorfred@xuni-t01.sc.intel.com <fred@xuni-t01.sc.intel.com>
Tue, 2 Aug 2005 10:08:00 +0000 (02:08 -0800)
committerfred@xuni-t01.sc.intel.com <fred@xuni-t01.sc.intel.com>
Tue, 2 Aug 2005 10:08:00 +0000 (02:08 -0800)
hardware timer source on IA64.

Signed-off-by Kevin Tian <kevin.tian@intel.com>

xen/arch/ia64/xenmisc.c

index 7a8000a9c6d4d8dad77256d512b2020d7eba5fca..b59cb0348041472c3de535bcd5daed05e33eaa48 100644 (file)
@@ -122,7 +122,7 @@ int reprogram_ac_timer(s_time_t timeout)
        struct vcpu *v = current;
 
 #ifdef CONFIG_VTI
-       if(VMX_DOMAIN(v))
+//     if(VMX_DOMAIN(v))
                return 1;
 #endif // CONFIG_VTI
        if (!domain0_ready) return 1;